Uniqueness in Harper’s vertex-isoperimetric theorem

For a set $A\subseteq Q_n={\left\{0,1\right\}}^n$ the $t$-neighbourhood of $A$ is $N^t\left(A\right)=\left\{x:d\left(x,A\right)\le t\right\}$, where $d$ denotes the usual graph distance on $Q_n$. Harper’s vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_n$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_n$ is a subset of given size for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e. a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_n$. We go further to classify all the sets $A\subseteq Q_n$ for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$ among the subsets of $Q_n$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_n$ for which the sizes of $N\left(A\right)$ and $N\left(A^c\right)$ are minimal among the subsets of $Q_n$ of given size, then the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are also minimal for all $t>0$ among the subsets of $Q_n$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^c\right)$ to have minimal size among the subsets $A\subseteq Q_n$ of given size.     

Scattering of Tollmien-Schlichting waves by localized roughness in transonic boundary layers

The laminar-turbulent transition in boundary-layer flows is often affected by wall imperfections, because the latter may interact with either the freestream perturbations or the oncoming boundary-layer instability modes, leading to a modification of the accumulation of the normal modes. The present paper particularly focuses on the latter mechanism in a transonic boundary layer, namely, the effect of a two-dimensional(2 D) roughness element on the oncoming Tollmien-Schlichting(T-S) modes when they propagate through the region of the rapid mean-flow distortion induced by the roughness. The wave scattering is analyzed by adapting the local scattering theory developed for subsonic boundary layers(WU, X. S. and DONG, M. A local scattering theory for the effects of isolated roughness on boundary-layer instability and transition: transmission coefficient as an eigenvalue. Journal of Fluid Mechanics, 794, 68–108(2006)) to the transonic regime, and a transmission coefficient is introduced to characterize the effect of the roughness. In the sub-transonic regime, in which the Mach number is close to, but less than, 1, the scattering system reduces to an eigenvalue problem with the transmission coefficient being the eigenvalue; while in the super-transonic regime, in which the Mach number is slightly greater than 1, the scattering system becomes a high-dimensional group of linear equations with the transmission coefficient being solved afterward. In the largeReynolds-number asymptotic theory, the K′arm′an-Guderley parameter is introduced to quantify the effect of the Mach number. A systematical parametric study is carried out,and the dependence of the transmission coefficient on the roughness shape, the frequency of the oncoming mode, and the K′arm′an-Guderley parameter is provided.     

分数阶Schrodinger—Kirchhoff方程无穷多高能量解的存在性

本文研究如下带有变号势函数的分数阶Schrodinger Kirchhoff方程(a+b∫∫R^N|u(x)-u(y)|^p/|x-y|^N+p^sdxdy)^p-1(-△)p^su+λV(x)|u|^p-2u=f(x,u)-μg(x)|u|^q-2u,x∈R^N.其中s∈(0,1),p∈[2,∞),q∈(l,p),a,b>0,λ,μ>0均为正常数,在V,f,g等函数合适的条件下,运用喷泉定理获得该系统无穷多高能量解的存在性.     

Hellmann–Feynman connection for the relative Fisher information

The (i) reciprocity relations for the relative Fisher information (RFI, hereafter) and (ii) a generalized RFI–Euler theorem are self-consistently derived from the Hellmann–Feynman theorem. These new reciprocity relations generalize the RFI–Euler theorem and constitute the basis for building up a mathematical Legendre transform structure (LTS, hereafter), akin to that of thermodynamics, that underlies the RFI scenario. This demonstrates the possibility of translating the entire mathematical structure of thermodynamics into a RFI-based theoretical framework. Virial theorems play a prominent role in this endeavor, as a Schrödinger-like equation can be associated to the RFI. Lagrange multipliers are determined invoking the RFI–LTS link and the quantum mechanical virial theorem. An appropriate ansatz allows for the inference of probability density functions (pdf’s, hereafter) and energy-eigenvalues of the above mentioned Schrödinger-like equation. The energy-eigenvalues obtained here via inference are benchmarked against established theoretical and numerical results. A principled theoretical basis to reconstruct the RFI-framework from the FIM framework is established. Numerical examples for exemplary cases are provided.     

Compressibility of random walker trajectories on growing networks

We find that the simple coupling of network growth to the position of a random walker on the network generates a traveling wave in the probability distribution of nodes visited by the walker. We argue that the entropy of this probability distribution is bounded as the network size tends to infinity. This means that the growth of a space coupled to a random walker situated in it constrains its dynamics to a set of typical random walker trajectories, and walker trajectories inside the growing space are compressible.